S ILENT K NOCK: Practical, Provably Undetectable Authentication Eugene Y. Vasserman1 , Nicholas Hopper1, John Laxson2 , and James Tyra1 1 Computer Science and Engineering, University of Minnesota, Minneapolis, MN 55455

Source URL: www-users.cs.umn.edu

• Computing
• Network architecture
• Internet
• Internet protocols
• Computer network security
• Internet Standards
• Transmission Control Protocol
• Tunneling protocols
• Port knocking
• SOCKS
• Internet protocol suite
• Port scanner

Untraceable Fair Network Payment Protocols with Off-line TTP Chih-Hung Wang Department of Computer Science and Information Engineering National Chiayi University 300 University Road, Chiayi, Taiwan 600, R.O.C.

Source URL: www.iacr.org

ECO-DNS: Expected Consistency Optimization for DNS Chen Chen Carnegie Mellon University

Source URL: www.netsec.ethz.ch

• Computing
• Internet
• Internet protocols
• Domain name system
• Cache
• Internet Standards
• DNS spoofing
• Name server
• Load balancing
• Content delivery network
• Time to live
• Comparison of DNS server software

Inductive Proof Method for Computational Secrecy Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell Department of Computer Science, Stanford University Abstract. We investigate inductive methods for proving secrecy p

Source URL: seclab.stanford.edu

• Cryptography
• Authentication protocols
• Computer network security
• Ciphertext indistinguishability
• DolevYao model
• Advantage
• Kerberos
• Cryptographic protocol
• Security parameter
• XTR
• Challengeresponse authentication
• Security protocol notation

Bounded Memory Protocols Max Kanovich1 , Tajana Ban Kirigin2 , Vivek Nigam3 , Andre Scedrov4 Abstract It is well-known that the Dolev-Yao adversary is a powerful adversary. Besides acting as the network, intercepting, de

Source URL: www.nigam.info

REFERENCE REVIEW list of companies using BalaBit products BALABIT - RERERENCE REVIEW2000-2013 BalaBit IT Security ■ All rights reserved. ■ www.balabit.com Copyright

Source URL: www.balabit.com

• Software
• Computing
• System software
• Internet Standards
• Internet protocols
• Network management
• System administration
• Balabit
• Science and technology in Hungary
• Syslog-ng
• Telenor
• Dubai Islamic Bank

Secrecy Analysis in Protocol Composition Logic? Arnab Roy1 , Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Jean-Pierre Seifert2 1 2

Source URL: seclab.stanford.edu

• Authentication protocols
• Symmetric-key cryptography
• Computer network security
• IP
• Kerberos
• NeedhamSchroeder protocol
• Cryptography

The Functional Web Warp: A Haskell Web Server Michael Snoyman • Suite Solutions R

Source URL: steve.vinoski.net

• Software engineering
• Computing
• Computer programming
• World Wide Web
• Functional programming
• Yesod
• Iteratee
• Snap
• Network protocols
• Monad
• Haskell
• Glasgow Haskell Compiler

Peer Pressure: Exerting Malicious Influence on Routers at a Distance Max Schuchard1 , Christopher Thompson2 , Nicholas Hopper1 , and Yongdae Kim3 1 Department of Computer Science and Engineering, University of Minnesota

Source URL: www-users.cs.umn.edu

• Computing
• Network architecture
• Internet
• Internet Standards
• Routing protocols
• Internet protocols
• Routing
• Computer networking
• Border Gateway Protocol
• Router
• Forwarding plane
• Control plane